Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 4 results. Subscribe to this search

|
The design of well-structured and correct programs / Suad Alagic, Michael A. Arbib Monografia Publication New York : Springer-Verlag, cop. 1978 Description X, 292 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Algebraic approaches to program semantics / Ernest G. Manes, Michael A. Arbib Monografia Publication New York : Springer-Verlag, cop. 1986 Description XIII, 351 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll Monografia Publication New York : Springer-Verlag, imp. 1984 Description VIII, 220 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
An introduction to formal language theory / Robert N. Moll, Michael A. Arbib, A. J. Kfoury ; colab. James Pustejovsky Monografia Publication New York : Springer-Verlag, cop. 1988 Description X, 203 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (2).

Place hold Add to cart